Optimal. Leaf size=652 \[ \frac{\sqrt{\frac{23}{11}} \left (-4 x-i \sqrt{23}+1\right ) \sqrt{4 x+i \sqrt{23}-1} \sqrt{6-\left (1-i \sqrt{23}\right ) x} \sqrt{\frac{\left (-\sqrt{23}+11 i\right ) \left (5 x^2+3 x+2\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}} \left (1-\frac{\sqrt{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{-4 x-i \sqrt{23}+1}\right ) \sqrt{\frac{-\frac{11 \left (-\sqrt{23}+3 i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}-\frac{41 \left (\sqrt{23}+i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )}+11}{\left (1-\frac{\sqrt{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{-4 x-i \sqrt{23}+1}\right )^2}} \text{EllipticF}\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \sqrt{6-\left (1-i \sqrt{23}\right ) x}}{\sqrt{4 x+i \sqrt{23}-1}}\right ),\frac{1}{88} \left (44-\frac{41 \left (\sqrt{23}+i\right )}{\sqrt{11+i \sqrt{23}}}\right )\right )}{\left (23+i \sqrt{23}\right ) \sqrt [4]{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \sqrt{2 x^2-x+3} \sqrt{5 x^2+3 x+2} \sqrt{-\frac{11 \left (-\sqrt{23}+3 i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}-\frac{41 \left (\sqrt{23}+i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )}+11}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.676932, antiderivative size = 652, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.103, Rules used = {992, 935, 1103} \[ \frac{\sqrt{\frac{23}{11}} \left (-4 x-i \sqrt{23}+1\right ) \sqrt{4 x+i \sqrt{23}-1} \sqrt{6-\left (1-i \sqrt{23}\right ) x} \sqrt{\frac{\left (-\sqrt{23}+11 i\right ) \left (5 x^2+3 x+2\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}} \left (1-\frac{\sqrt{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{-4 x-i \sqrt{23}+1}\right ) \sqrt{\frac{-\frac{11 \left (-\sqrt{23}+3 i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}-\frac{41 \left (\sqrt{23}+i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )}+11}{\left (1-\frac{\sqrt{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{-4 x-i \sqrt{23}+1}\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{-\frac{3 i-\sqrt{23}}{7 i+\sqrt{23}}} \sqrt{6-\left (1-i \sqrt{23}\right ) x}}{\sqrt{4 x+i \sqrt{23}-1}}\right )|\frac{1}{88} \left (44-\frac{41 \left (i+\sqrt{23}\right )}{\sqrt{11+i \sqrt{23}}}\right )\right )}{\left (23+i \sqrt{23}\right ) \sqrt [4]{-\frac{-\sqrt{23}+3 i}{\sqrt{23}+7 i}} \sqrt{2 x^2-x+3} \sqrt{5 x^2+3 x+2} \sqrt{-\frac{11 \left (-\sqrt{23}+3 i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )^2}-\frac{41 \left (\sqrt{23}+i\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (\sqrt{23}+7 i\right ) \left (-4 x-i \sqrt{23}+1\right )}+11}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 992
Rule 935
Rule 1103
Rubi steps
\begin{align*} \int \frac{1}{\sqrt{3-x+2 x^2} \sqrt{2+3 x+5 x^2}} \, dx &=\frac{\left (\sqrt{-1+i \sqrt{23}+4 x} \sqrt{6+\left (-1+i \sqrt{23}\right ) x}\right ) \int \frac{1}{\sqrt{-1+i \sqrt{23}+4 x} \sqrt{6+\left (-1+i \sqrt{23}\right ) x} \sqrt{2+3 x+5 x^2}} \, dx}{\sqrt{3-x+2 x^2}}\\ &=-\frac{\left (2 \left (-1+i \sqrt{23}+4 x\right )^{3/2} \sqrt{6+\left (-1+i \sqrt{23}\right ) x} \sqrt{\frac{\left (24-\left (-1+i \sqrt{23}\right )^2\right )^2 \left (2+3 x+5 x^2\right )}{\left (180-18 \left (-1+i \sqrt{23}\right )+2 \left (-1+i \sqrt{23}\right )^2\right ) \left (-1+i \sqrt{23}+4 x\right )^2}}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-\frac{\left (-72+76 \left (-1+i \sqrt{23}\right )-3 \left (-1+i \sqrt{23}\right )^2\right ) x^2}{180-18 \left (-1+i \sqrt{23}\right )+2 \left (-1+i \sqrt{23}\right )^2}+\frac{\left (32-12 \left (-1+i \sqrt{23}\right )+5 \left (-1+i \sqrt{23}\right )^2\right ) x^4}{180-18 \left (-1+i \sqrt{23}\right )+2 \left (-1+i \sqrt{23}\right )^2}}} \, dx,x,\frac{\sqrt{6+\left (-1+i \sqrt{23}\right ) x}}{\sqrt{-1+i \sqrt{23}+4 x}}\right )}{\left (24-\left (-1+i \sqrt{23}\right )^2\right ) \sqrt{3-x+2 x^2} \sqrt{2+3 x+5 x^2}}\\ &=-\frac{\sqrt{\frac{23}{11}} \left (-1+i \sqrt{23}+4 x\right )^{3/2} \sqrt{6-\left (1-i \sqrt{23}\right ) x} \sqrt{\frac{\left (11 i-\sqrt{23}\right ) \left (2+3 x+5 x^2\right )}{\left (7 i+\sqrt{23}\right ) \left (1-i \sqrt{23}-4 x\right )^2}} \left (1-\frac{\sqrt{-\frac{3 i-\sqrt{23}}{7 i+\sqrt{23}}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{1-i \sqrt{23}-4 x}\right ) \sqrt{\frac{11-\frac{41 \left (i+\sqrt{23}\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (7 i+\sqrt{23}\right ) \left (1-i \sqrt{23}-4 x\right )}-\frac{11 \left (3 i-\sqrt{23}\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (7 i+\sqrt{23}\right ) \left (1-i \sqrt{23}-4 x\right )^2}}{\left (1-\frac{\sqrt{-\frac{3 i-\sqrt{23}}{7 i+\sqrt{23}}} \left (6-\left (1-i \sqrt{23}\right ) x\right )}{1-i \sqrt{23}-4 x}\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{-\frac{3 i-\sqrt{23}}{7 i+\sqrt{23}}} \sqrt{6-\left (1-i \sqrt{23}\right ) x}}{\sqrt{-1+i \sqrt{23}+4 x}}\right )|\frac{1}{88} \left (44-\frac{41 \left (i+\sqrt{23}\right )}{\sqrt{11+i \sqrt{23}}}\right )\right )}{\left (23+i \sqrt{23}\right ) \sqrt [4]{-\frac{3 i-\sqrt{23}}{7 i+\sqrt{23}}} \sqrt{3-x+2 x^2} \sqrt{2+3 x+5 x^2} \sqrt{11-\frac{41 \left (i+\sqrt{23}\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )}{\left (7 i+\sqrt{23}\right ) \left (1-i \sqrt{23}-4 x\right )}-\frac{11 \left (3 i-\sqrt{23}\right ) \left (6-\left (1-i \sqrt{23}\right ) x\right )^2}{\left (7 i+\sqrt{23}\right ) \left (1-i \sqrt{23}-4 x\right )^2}}}\\ \end{align*}
Mathematica [A] time = 0.61975, size = 390, normalized size = 0.6 \[ \frac{\left (-4 x+i \sqrt{23}+1\right ) \left (10 i x+\sqrt{31}+3 i\right ) \sqrt{\frac{20 i x-2 \sqrt{31}+6 i}{\left (11 i+5 \sqrt{23}-2 \sqrt{31}\right ) \left (4 i x+\sqrt{23}-i\right )}} \sqrt{\frac{\left (-22-10 i \sqrt{23}+4 i \sqrt{31}\right ) x-\sqrt{713}-i \sqrt{31}-3 i \sqrt{23}+63}{\left (11 i+5 \sqrt{23}+2 \sqrt{31}\right ) \left (4 i x+\sqrt{23}-i\right )}} \text{EllipticF}\left (\sin ^{-1}\left (\sqrt{2} \sqrt{-\frac{2 \left (11+5 i \sqrt{23}-2 i \sqrt{31}\right ) x+\sqrt{713}+i \sqrt{31}+3 i \sqrt{23}-63}{\left (11 i+5 \sqrt{23}+2 \sqrt{31}\right ) \left (4 i x+\sqrt{23}-i\right )}}\right ),\frac{1}{484} \left (1197+41 \sqrt{713}\right )\right )}{\left (-11 i+5 \sqrt{23}-2 \sqrt{31}\right ) \sqrt{\frac{10 i x+\sqrt{31}+3 i}{\left (11 i+5 \sqrt{23}+2 \sqrt{31}\right ) \left (4 i x+\sqrt{23}-i\right )}} \sqrt{2 x^2-x+3} \sqrt{5 x^2+3 x+2}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 3.535, size = 420, normalized size = 0.6 \begin{align*}{\frac{{\frac{4\,i}{23}} \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}-11 \right ) \left ( i\sqrt{23}-4\,x+1 \right ) ^{2}\sqrt{23}\sqrt{10}}{2\,i\sqrt{31}-5\,i\sqrt{23}-11}\sqrt{5\,{x}^{2}+3\,x+2}\sqrt{2\,{x}^{2}-x+3}\sqrt{-{\frac{ \left ( 2\,i\sqrt{31}-5\,i\sqrt{23}-11 \right ) \left ( -1+4\,x+i\sqrt{23} \right ) }{ \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}-11 \right ) \left ( i\sqrt{23}-4\,x+1 \right ) }}}\sqrt{{\frac{i\sqrt{23} \left ( i\sqrt{31}+10\,x+3 \right ) }{ \left ( 2\,i\sqrt{31}-5\,i\sqrt{23}+11 \right ) \left ( i\sqrt{23}-4\,x+1 \right ) }}}\sqrt{{\frac{i\sqrt{23} \left ( i\sqrt{31}-10\,x-3 \right ) }{ \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}-11 \right ) \left ( i\sqrt{23}-4\,x+1 \right ) }}}{\it EllipticF} \left ( \sqrt{-{\frac{ \left ( 2\,i\sqrt{31}-5\,i\sqrt{23}-11 \right ) \left ( -1+4\,x+i\sqrt{23} \right ) }{ \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}-11 \right ) \left ( i\sqrt{23}-4\,x+1 \right ) }}},\sqrt{{\frac{ \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}+11 \right ) \left ( 2\,i\sqrt{31}+5\,i\sqrt{23}-11 \right ) }{ \left ( 2\,i\sqrt{31}-5\,i\sqrt{23}+11 \right ) \left ( 2\,i\sqrt{31}-5\,i\sqrt{23}-11 \right ) }}} \right ){\frac{1}{\sqrt{10\,{x}^{4}+{x}^{3}+16\,{x}^{2}+7\,x+6}}}{\frac{1}{\sqrt{ \left ( -1+4\,x+i\sqrt{23} \right ) \left ( i\sqrt{23}-4\,x+1 \right ) \left ( i\sqrt{31}+10\,x+3 \right ) \left ( i\sqrt{31}-10\,x-3 \right ) }}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{5 \, x^{2} + 3 \, x + 2} \sqrt{2 \, x^{2} - x + 3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\sqrt{5 \, x^{2} + 3 \, x + 2} \sqrt{2 \, x^{2} - x + 3}}{10 \, x^{4} + x^{3} + 16 \, x^{2} + 7 \, x + 6}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{2 x^{2} - x + 3} \sqrt{5 x^{2} + 3 x + 2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{5 \, x^{2} + 3 \, x + 2} \sqrt{2 \, x^{2} - x + 3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]